9

ions in

Année:
1996
Langue:
english
Fichier:
PDF, 121 KB
english, 1996
18

The vectorial λ -calculus

Année:
2017
Langue:
english
Fichier:
PDF, 1.42 MB
english, 2017
21

Confluence in Probabilistic Rewriting

Année:
2018
Langue:
english
Fichier:
PDF, 328 KB
english, 2018
22

A Concrete Categorical Semantics of Lambda-

Année:
2019
Langue:
english
Fichier:
PDF, 370 KB
english, 2019